; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = zext i8 5 to i64
  %".5" = and i64 %".4", 63
  %".6" = lshr i64 %"SymVar_0", %".5"
  %".7" = and i64 87652534112836074, %".6"
  %".8" = and i64 117850039, %".7"
  %".9" = or i64 441848546, %"SymVar_0"
  %".10" = add i64 %".8", %".9"
  %".11" = and i64 15, %".10"
  %".12" = zext i8 3 to i64
  %".13" = and i64 %".12", 63
  %".14" = shl i64 %".11", %".13"
  %".15" = and i64 15, %".10"
  %".16" = zext i8 3 to i64
  %".17" = and i64 %".16", 63
  %".18" = shl i64 %".15", %".17"
  %".19" = sub i64 %"SymVar_0", 63267836
  %".20" = or i64 %".18", %".19"
  %".21" = or i64 %".14", %".20"
  %".22" = and i64 15, %".21"
  %".23" = zext i8 3 to i64
  %".24" = and i64 %".23", 63
  %".25" = shl i64 %".22", %".24"
  %".26" = or i64 %".25", %".21"
  %".27" = and i64 31, %".26"
  %".28" = zext i8 3 to i64
  %".29" = and i64 %".28", 63
  %".30" = shl i64 %".27", %".29"
  %".31" = and i64 31, %".20"
  %".32" = zext i8 3 to i64
  %".33" = and i64 %".32", 63
  %".34" = shl i64 %".31", %".33"
  %".35" = sub i64 %"SymVar_0", 43022659
  %".36" = zext i8 3 to i64
  %".37" = and i64 %".36", 63
  %".38" = lshr i64 %".10", %".37"
  %".39" = and i64 15, %".38"
  %".40" = or i64 1, %".39"
  %".41" = sub i64 64, %".40"
  %".42" = trunc i64 %".41" to i32
  %".43" = zext i32 %".42" to i64
  %".44" = trunc i64 %".43" to i8
  %".45" = zext i8 %".44" to i64
  %".46" = and i64 %".45", 63
  %".47" = lshr i64 828565327, %".46"
  %".48" = zext i8 3 to i64
  %".49" = and i64 %".48", 63
  %".50" = lshr i64 %".10", %".49"
  %".51" = and i64 15, %".50"
  %".52" = or i64 1, %".51"
  %".53" = trunc i64 %".52" to i32
  %".54" = zext i32 %".53" to i64
  %".55" = trunc i64 %".54" to i8
  %".56" = zext i8 %".55" to i64
  %".57" = and i64 %".56", 63
  %".58" = shl i64 828565327, %".57"
  %".59" = or i64 %".47", %".58"
  %".60" = zext i8 4 to i64
  %".61" = and i64 %".60", 63
  %".62" = lshr i64 %".59", %".61"
  %".63" = and i64 7, %".62"
  %".64" = or i64 1, %".63"
  %".65" = trunc i64 %".64" to i32
  %".66" = zext i32 %".65" to i64
  %".67" = trunc i64 %".66" to i8
  %".68" = zext i8 %".67" to i64
  %".69" = and i64 %".68", 63
  %".70" = shl i64 %".35", %".69"
  %".71" = or i64 %".34", %".70"
  %".72" = or i64 %".30", %".71"
  %".73" = add i64 %".72", %".72"
  %".74" = and i64 7, %".73"
  %".75" = zext i8 2 to i64
  %".76" = and i64 %".75", 63
  %".77" = shl i64 %".74", %".76"
  %".78" = and i64 15, %".26"
  %".79" = zext i8 3 to i64
  %".80" = and i64 %".79", 63
  %".81" = shl i64 %".78", %".80"
  %".82" = or i64 %".81", %".26"
  %".83" = or i64 %".77", %".82"
  %".84" = lshr i64 %".7", 48
  %".85" = trunc i64 %".84" to i8
  %".86" = zext i8 %".85" to i32
  %".87" = zext i32 %".86" to i64
  %".88" = trunc i64 %".87" to i8
  %".89" = zext i8 %".88" to i32
  %".90" = zext i32 %".89" to i64
  %".91" = trunc i64 %".90" to i8
  %".92" = zext i8 %".91" to i32
  %".93" = zext i32 %".92" to i64
  %".94" = trunc i64 %".93" to i8
  %".95" = zext i8 %".94" to i32
  %".96" = zext i32 %".95" to i64
  %".97" = trunc i64 %".96" to i8
  %".98" = zext i8 %".97" to i64
  %".99" = lshr i64 %".7", 8
  %".100" = trunc i64 %".99" to i8
  %".101" = zext i8 %".100" to i64
  %".102" = shl i64 %".101", 8
  %".103" = or i64 %".98", %".102"
  %".104" = lshr i64 %".7", 16
  %".105" = trunc i64 %".104" to i8
  %".106" = zext i8 %".105" to i64
  %".107" = shl i64 %".106", 16
  %".108" = or i64 %".103", %".107"
  %".109" = lshr i64 %".7", 24
  %".110" = trunc i64 %".109" to i8
  %".111" = zext i8 %".110" to i64
  %".112" = shl i64 %".111", 24
  %".113" = or i64 %".108", %".112"
  %".114" = lshr i64 %".7", 40
  %".115" = trunc i64 %".114" to i8
  %".116" = zext i8 %".115" to i32
  %".117" = zext i32 %".116" to i64
  %".118" = trunc i64 %".117" to i8
  %".119" = zext i8 %".118" to i32
  %".120" = zext i32 %".119" to i64
  %".121" = trunc i64 %".120" to i8
  %".122" = zext i8 %".121" to i32
  %".123" = zext i32 %".122" to i64
  %".124" = trunc i64 %".123" to i8
  %".125" = zext i8 %".124" to i32
  %".126" = zext i32 %".125" to i64
  %".127" = trunc i64 %".126" to i8
  %".128" = zext i8 %".127" to i64
  %".129" = shl i64 %".128", 32
  %".130" = or i64 %".113", %".129"
  %".131" = lshr i64 %".7", 32
  %".132" = trunc i64 %".131" to i8
  %".133" = zext i8 %".132" to i32
  %".134" = zext i32 %".133" to i64
  %".135" = trunc i64 %".134" to i8
  %".136" = zext i8 %".135" to i32
  %".137" = zext i32 %".136" to i64
  %".138" = trunc i64 %".137" to i8
  %".139" = zext i8 %".138" to i64
  %".140" = shl i64 %".139", 40
  %".141" = or i64 %".130", %".140"
  %".142" = trunc i64 %".7" to i8
  %".143" = zext i8 %".142" to i32
  %".144" = zext i32 %".143" to i64
  %".145" = trunc i64 %".144" to i8
  %".146" = zext i8 %".145" to i32
  %".147" = zext i32 %".146" to i64
  %".148" = trunc i64 %".147" to i8
  %".149" = zext i8 %".148" to i64
  %".150" = shl i64 %".149", 48
  %".151" = or i64 %".141", %".150"
  %".152" = lshr i64 %".7", 56
  %".153" = trunc i64 %".152" to i8
  %".154" = zext i8 %".153" to i64
  %".155" = shl i64 %".154", 56
  %".156" = or i64 %".151", %".155"
  %".157" = and i64 63, %".156"
  %".158" = zext i8 4 to i64
  %".159" = and i64 %".158", 63
  %".160" = shl i64 %".157", %".159"
  %".161" = lshr i64 %".10", 32
  %".162" = trunc i64 %".161" to i8
  %".163" = zext i8 %".162" to i32
  %".164" = lshr i64 %".10", 40
  %".165" = trunc i64 %".164" to i8
  %".166" = zext i8 %".165" to i32
  %".167" = shl i32 %".166", 8
  %".168" = or i32 %".163", %".167"
  %".169" = lshr i64 %".10", 48
  %".170" = trunc i64 %".169" to i8
  %".171" = zext i8 %".170" to i32
  %".172" = shl i32 %".171", 16
  %".173" = or i32 %".168", %".172"
  %".174" = lshr i64 %".10", 56
  %".175" = trunc i64 %".174" to i8
  %".176" = zext i8 %".175" to i32
  %".177" = shl i32 %".176", 24
  %".178" = or i32 %".173", %".177"
  %".179" = zext i32 %".178" to i64
  %".180" = trunc i64 %".179" to i32
  %".181" = zext i32 %".180" to i64
  %".182" = trunc i64 %".181" to i32
  %".183" = trunc i32 %".182" to i8
  %".184" = zext i8 %".183" to i64
  %".185" = trunc i64 %".181" to i32
  %".186" = lshr i32 %".185", 8
  %".187" = trunc i32 %".186" to i8
  %".188" = zext i8 %".187" to i64
  %".189" = shl i64 %".188", 8
  %".190" = or i64 %".184", %".189"
  %".191" = trunc i64 %".181" to i32
  %".192" = lshr i32 %".191", 16
  %".193" = trunc i32 %".192" to i8
  %".194" = zext i8 %".193" to i64
  %".195" = shl i64 %".194", 16
  %".196" = or i64 %".190", %".195"
  %".197" = trunc i64 %".181" to i32
  %".198" = lshr i32 %".197", 24
  %".199" = trunc i32 %".198" to i8
  %".200" = zext i8 %".199" to i64
  %".201" = shl i64 %".200", 24
  %".202" = or i64 %".196", %".201"
  %".203" = trunc i64 %".10" to i8
  %".204" = zext i8 %".203" to i32
  %".205" = lshr i64 %".10", 8
  %".206" = trunc i64 %".205" to i8
  %".207" = zext i8 %".206" to i32
  %".208" = shl i32 %".207", 8
  %".209" = or i32 %".204", %".208"
  %".210" = lshr i64 %".10", 16
  %".211" = trunc i64 %".210" to i8
  %".212" = zext i8 %".211" to i32
  %".213" = shl i32 %".212", 16
  %".214" = or i32 %".209", %".213"
  %".215" = lshr i64 %".10", 24
  %".216" = trunc i64 %".215" to i8
  %".217" = zext i8 %".216" to i32
  %".218" = shl i32 %".217", 24
  %".219" = or i32 %".214", %".218"
  %".220" = zext i32 %".219" to i64
  %".221" = trunc i64 %".220" to i32
  %".222" = zext i32 %".221" to i64
  %".223" = trunc i64 %".222" to i32
  %".224" = zext i32 %".223" to i64
  %".225" = trunc i64 %".224" to i32
  %".226" = zext i32 %".225" to i64
  %".227" = trunc i64 %".226" to i32
  %".228" = trunc i32 %".227" to i8
  %".229" = zext i8 %".228" to i64
  %".230" = shl i64 %".229", 32
  %".231" = or i64 %".202", %".230"
  %".232" = trunc i64 %".226" to i32
  %".233" = lshr i32 %".232", 8
  %".234" = trunc i32 %".233" to i8
  %".235" = zext i8 %".234" to i64
  %".236" = shl i64 %".235", 40
  %".237" = or i64 %".231", %".236"
  %".238" = trunc i64 %".226" to i32
  %".239" = lshr i32 %".238", 16
  %".240" = trunc i32 %".239" to i8
  %".241" = zext i8 %".240" to i64
  %".242" = shl i64 %".241", 48
  %".243" = or i64 %".237", %".242"
  %".244" = trunc i64 %".226" to i32
  %".245" = lshr i32 %".244", 24
  %".246" = trunc i32 %".245" to i8
  %".247" = zext i8 %".246" to i64
  %".248" = shl i64 %".247", 56
  %".249" = or i64 %".243", %".248"
  %".250" = or i64 %".160", %".249"
  %".251" = zext i8 3 to i64
  %".252" = and i64 %".251", 63
  %".253" = lshr i64 %".250", %".252"
  %".254" = and i64 15, %".253"
  %".255" = or i64 1, %".254"
  %".256" = sub i64 64, %".255"
  %".257" = trunc i64 %".256" to i32
  %".258" = zext i32 %".257" to i64
  %".259" = trunc i64 %".258" to i8
  %".260" = zext i8 %".259" to i64
  %".261" = and i64 %".260", 63
  %".262" = shl i64 %".83", %".261"
  %".263" = zext i8 3 to i64
  %".264" = and i64 %".263", 63
  %".265" = lshr i64 %".250", %".264"
  %".266" = and i64 15, %".265"
  %".267" = or i64 1, %".266"
  %".268" = trunc i64 %".267" to i32
  %".269" = zext i32 %".268" to i64
  %".270" = trunc i64 %".269" to i8
  %".271" = zext i8 %".270" to i64
  %".272" = and i64 %".271", 63
  %".273" = lshr i64 %".83", %".272"
  %".274" = or i64 %".262", %".273"
  %".275" = and i64 15, %".274"
  %".276" = zext i8 2 to i64
  %".277" = and i64 %".276", 63
  %".278" = shl i64 %".275", %".277"
  %".279" = lshr i64 %".72", 32
  %".280" = trunc i64 %".279" to i8
  %".281" = zext i8 %".280" to i32
  %".282" = lshr i64 %".72", 40
  %".283" = trunc i64 %".282" to i8
  %".284" = zext i8 %".283" to i32
  %".285" = shl i32 %".284", 8
  %".286" = or i32 %".281", %".285"
  %".287" = lshr i64 %".72", 48
  %".288" = trunc i64 %".287" to i8
  %".289" = zext i8 %".288" to i32
  %".290" = shl i32 %".289", 16
  %".291" = or i32 %".286", %".290"
  %".292" = lshr i64 %".72", 56
  %".293" = trunc i64 %".292" to i8
  %".294" = zext i8 %".293" to i32
  %".295" = shl i32 %".294", 24
  %".296" = or i32 %".291", %".295"
  %".297" = zext i32 %".296" to i64
  %".298" = trunc i64 %".297" to i32
  %".299" = zext i32 %".298" to i64
  %".300" = trunc i64 %".299" to i32
  %".301" = zext i32 %".300" to i64
  %".302" = trunc i64 %".301" to i32
  %".303" = zext i32 %".302" to i64
  %".304" = trunc i64 %".303" to i32
  %".305" = trunc i32 %".304" to i8
  %".306" = zext i8 %".305" to i64
  %".307" = trunc i64 %".303" to i32
  %".308" = lshr i32 %".307", 8
  %".309" = trunc i32 %".308" to i8
  %".310" = zext i8 %".309" to i64
  %".311" = shl i64 %".310", 8
  %".312" = or i64 %".306", %".311"
  %".313" = trunc i64 %".303" to i32
  %".314" = lshr i32 %".313", 16
  %".315" = trunc i32 %".314" to i8
  %".316" = zext i8 %".315" to i64
  %".317" = shl i64 %".316", 16
  %".318" = or i64 %".312", %".317"
  %".319" = trunc i64 %".303" to i32
  %".320" = lshr i32 %".319", 24
  %".321" = trunc i32 %".320" to i8
  %".322" = zext i8 %".321" to i64
  %".323" = shl i64 %".322", 24
  %".324" = or i64 %".318", %".323"
  %".325" = trunc i64 %".72" to i8
  %".326" = zext i8 %".325" to i32
  %".327" = lshr i64 %".72", 8
  %".328" = trunc i64 %".327" to i8
  %".329" = zext i8 %".328" to i32
  %".330" = shl i32 %".329", 8
  %".331" = or i32 %".326", %".330"
  %".332" = lshr i64 %".72", 16
  %".333" = trunc i64 %".332" to i8
  %".334" = zext i8 %".333" to i32
  %".335" = shl i32 %".334", 16
  %".336" = or i32 %".331", %".335"
  %".337" = lshr i64 %".72", 24
  %".338" = trunc i64 %".337" to i8
  %".339" = zext i8 %".338" to i32
  %".340" = shl i32 %".339", 24
  %".341" = or i32 %".336", %".340"
  %".342" = zext i32 %".341" to i64
  %".343" = trunc i64 %".342" to i32
  %".344" = zext i32 %".343" to i64
  %".345" = trunc i64 %".344" to i32
  %".346" = trunc i32 %".345" to i8
  %".347" = zext i8 %".346" to i64
  %".348" = shl i64 %".347", 32
  %".349" = or i64 %".324", %".348"
  %".350" = trunc i64 %".344" to i32
  %".351" = lshr i32 %".350", 8
  %".352" = trunc i32 %".351" to i8
  %".353" = zext i8 %".352" to i64
  %".354" = shl i64 %".353", 40
  %".355" = or i64 %".349", %".354"
  %".356" = trunc i64 %".344" to i32
  %".357" = lshr i32 %".356", 16
  %".358" = trunc i32 %".357" to i8
  %".359" = zext i8 %".358" to i64
  %".360" = shl i64 %".359", 48
  %".361" = or i64 %".355", %".360"
  %".362" = trunc i64 %".344" to i32
  %".363" = lshr i32 %".362", 24
  %".364" = trunc i32 %".363" to i8
  %".365" = zext i8 %".364" to i64
  %".366" = shl i64 %".365", 56
  %".367" = or i64 %".361", %".366"
  %".368" = or i64 %".278", %".367"
  %".369" = or i64 %".83", %".368"
  %".370" = zext i8 %".97" to i64
  %".371" = zext i8 %".100" to i64
  %".372" = shl i64 %".371", 8
  %".373" = or i64 %".370", %".372"
  %".374" = zext i8 %".105" to i64
  %".375" = shl i64 %".374", 16
  %".376" = or i64 %".373", %".375"
  %".377" = zext i8 %".110" to i64
  %".378" = shl i64 %".377", 24
  %".379" = or i64 %".376", %".378"
  %".380" = zext i8 %".127" to i64
  %".381" = shl i64 %".380", 32
  %".382" = or i64 %".379", %".381"
  %".383" = zext i8 %".138" to i64
  %".384" = shl i64 %".383", 40
  %".385" = or i64 %".382", %".384"
  %".386" = zext i8 %".148" to i64
  %".387" = shl i64 %".386", 48
  %".388" = or i64 %".385", %".387"
  %".389" = zext i8 %".153" to i64
  %".390" = shl i64 %".389", 56
  %".391" = or i64 %".388", %".390"
  %".392" = zext i8 3 to i64
  %".393" = and i64 %".392", 63
  %".394" = lshr i64 %".250", %".393"
  %".395" = and i64 7, %".394"
  %".396" = or i64 1, %".395"
  %".397" = trunc i64 %".396" to i32
  %".398" = zext i32 %".397" to i64
  %".399" = trunc i64 %".398" to i8
  %".400" = zext i8 %".399" to i64
  %".401" = and i64 %".400", 63
  %".402" = shl i64 %".391", %".401"
  %".403" = or i64 %".369", %".402"
  ret i64 %".403"
}
